bitkeeper revision 1.1366 (4268c126o36cKcnzrSkVxkbrPsoz1g)
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 22 Apr 2005 09:17:26 +0000 (09:17 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 22 Apr 2005 09:17:26 +0000 (09:17 +0000)
commita9e946ecaed88bbb6af0af432bd4319b50c38fa9
tree9b7ad32f28624aaa8b0f98be318c6cccaba19e4a
parent8f950245a5e3a84b234fec92e7bc1c8b5d716e37
bitkeeper revision 1.1366 (4268c126o36cKcnzrSkVxkbrPsoz1g)

Clean up shadow destruction and fix domain destroy when shadow mode
is disabled.
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/domain.c
xen/arch/x86/shadow.c
xen/arch/x86/vmx_vmcs.c
xen/common/page_alloc.c
xen/include/asm-x86/domain.h
xen/include/asm-x86/shadow.h
xen/include/xen/shadow.h